B ↓2 ⊃Pαr@≡ * ¬X↓∨P∧j↓9⊂¬[A←P¬W↓aπ-↓%∧⎇↓g`βn↓⎇P∧d↓?`π:A≡πXAT0πKA"`¬SA4@πh↓l∧tA{πpA{Pπ~↓;@π∩↓A¬KAmπ<A≤pπ6ATp¬z↓'`¬ Ap⊂¬↔A
 πB↓&`εAC`εUAg¬↓!0¬NA;pε1A!εA↔0π\A+0επ↓~`π↔↓0`πIA2ε¬Ai@π'A→ ∧←↓vP∧hA_Pπ9↓c πR↓o@πj↓uεhAd⊂π∪Ab`∧β↓-Pπε↓,`πMA↑PπA`@εd↓|P∧{Ae π*A.¬;A>⊂πf↓*p¬&Aq@εO↓#P¬iA? ¬f↓VP¬u↓≠Pε∪AB⊂π2|⊂¬k↓%0∧yA# ∧v↓3 ∧r↓& ¬≥↓C ¬α↓!p¬P↓< ¬rA≠⊂¬J↓→P∧`A-⊂¬9A* ¬∩↓9p¬vA≤¬=A)⊂¬lA8 εL↓xp¬YA8P¬←↓←⊂εwA]⊂εqA[PεkAY0πaAwP¬⊂␈0∧EA∂∧9A⊃p∧L↓¬∧@A⊂`∧
↓∂@∧(A	@∧!Aε⊂∧≥↓εP∧WA¬@∧∩↓βp∧7↓W⊂∧N↓πp∧QA∩@∧/↓∃0∧[A ∧3↓∪p∧-↓α`∧YA	∧S@|pβuA↓⊂βq@}pβy@⎇p∧εAα ∧+↓@P¬?A1P¬DAi⊂π"Aq⊂βkAE`εX↓uPεaAW`πtAt¬]ALε∨↓Npε9↓Qε'AJ0ε≤AJ`ε%↓H ε∃↓D0ε_AP@ε@↓FPε#↓O0ε6AMε.↓apπ	↓0 ¬U↓r¬{A+p¬1↓Q@εI↓(P¬	A∧↓Af⊂π∞@
¬α@p
αα@⊂	␈α?0	|α>P	yα=p	vα=⊂	sα<0	pα;P	mα:@	kBC@
BB`
	BB
εBI⊂
#α0`	dαα 
!B≡`λHα⊃P	 B⊃ λCB⊂@λ@B∂`	∨α00	⊃B∂0	⊂α∂λ:B∞ λ7B
@λ4B`λ1B	∪αPλ-α
pλ*α
⊂	πα	`	=α/P	7α	0λ$αλPλ!απp	≥B0	≤α#P	
απ@λ≤B∩0λ≠αε0λ_α¬Pλ∃α∧pλ∩αβ`λ⊂Bβ0	
α≡0λα∨p	Fα:⊂	gα90	bB8 	←B7@	\B6`	YB6	VB5 	SB4@	∀B+p	1α,P	λB!0	,B+@	4ααPλ}↓}pλ|B≡λπB3`	Lα2 	GB≥ λsA}@λr↓}⊂λpB≠λjB~ λgB→@λdB_`λaB_λ↑B↔ λXB∃`λUB∃λRB∪pλNα∀ 
 αGP
≥α) λvBFpλ↓B*
~α↓⊂	)B)Pλ↓␈P	A␈ 	DB4⊂λmB⊗pλZα≠`	MB2P
_B`	+α(@
↔α P	↓α(p
∃B∪⊂λKα↓@	8B&P	→α%p	⊗αE
∩B.@
⊃α.p
∂B-0	∧βkA}⊂BI@
'BJ 
*βn↓}@BI@
+αJ 
,@βpA}p"I@
-@βqA␈ "I@
0@βsA␈P"I@
3@βuB"I@
6@βwB0"I@
9@βyB`"I@
<@β{B↓⊂"I@
?@β⎇B↓@"I@
B@∧α↓pbI@
DαJ 
*αQ0
G∧↓Bα bI@
HαJ 
*αR0
K∧βααP"I@
L∧∧Bβ"I@
M@∧εBβ0"I@
Q∧	αβ`"I@
S@∧α∧@"I@
W∧
α∧p"I@
X@∧∂B¬ "I@
[∧∩α¬P"I@
\@∧∀αε"I@
↑∧⊗αε0"I@
`∧_Bε`"I@
a∧~Bπ⊂"I@
c∧≥απ@"I@
d∧∨Bπp"I@
e@∧!Bλ "I@
g∧$αλP"I@
i@∧&α	"I@
l∧(B	0"I@
n@∧+α	`"I@
q∧-α
⊂"I@
s∧/α
@"I@
u@∧1α
p"I@
w∧3α "I@
y∧5αP"I@
{@∧9B"I@
|@∧<α0"I@
}@∧>α`"I@
X@∧@B
⊂"I@↓∧Cα
@"I@
X@∧EB
p"I@β∧GB∞ "I@¬@∧Jα∞P"I@π@∧Lα∂"I@	@∧Nα∂0"I@∧OB∂`"I@∞@∧QB⊂⊂"I@⊂∧SB⊂@"I@∩@∧UB⊂p"I@∀∧WB⊃ "I@∃@∧YB⊃P"I@↔@∧[B∩"I@_@∧]B∩0"I@~@∧←α∩`↓BI@≤αJ ≥αg@∨Bh⊂"αh`$αi &∧eα∪⊂↓BI@'BJ (Bj0+αk-BkP/Bl⊂1@∧kα∪@↓BI@3αJ 4Bm07αn9BnP;Bo⊂=@∧nB∪p↓BI@?αJ @Bp BBppEαq@GαrI∧tB∀ ↓bI@JBJ 
eBg@KBh⊂Nαh`Oαi Pαt0S@∧xα∀P↓bI@XαJ 
*αg@Yαh⊂[Bh`\Bi ]Bw`a∧{B∃bI@eBJ fBg@h¬α∃0↓bI@iBJ kαg@∨Bh⊂mαh`$αi &α{@p¬¬B∃`↓bI@tαJ uBg@∨Bh⊂wBh`$αi &α}⊂z@¬α⊗⊂↓BI@}BJ αg@↓αh⊂ααh`βαi ∧¬∞B⊗@↓bI@¬BJ πBg@∨Bh⊂λBh`	Bi 
Cβ∞¬∀α⊗p↓bI@∩BJ ∀Bg@∨Bh⊂∃Bh`⊗Bi ↔Cε ≠¬↔B↔ ↓"I@∨BJ  Bg@∨Bh⊂Eαh`!@¬≠α↔P↓bI@"BJ $Bg@∨Bh⊂"αh`%Bi &C
*¬"B_↓bI@
'BJ 
eBg@∨Bh⊂Eαh`Oαi .Bt00¬3α_0↓bI@
'BJ 4Bg@∨Bh⊂Eαh`Oαi 6αt0S@¬8α_`↓BI@7BJ 9αg@∨Bh⊂"αh`Oαi :¬Cα→⊂↓BI@;BJ =Bg@∨Bh⊂"αh`Oαi >@¬KB→@↓BI@@αJ Bαh⊂Eαh`Oαi Cαt0D@¬NB→p↓"I@EBJ FBg@∨Bh⊂"αh`O¬Rα~ BI@IαJ J@¬SB~PBI@KBJ M¬Uα≠bI@NαJ 
*αg@O@¬YB≠0↓BI@RBJ Uαg@∨Bh⊂"αh`$αi V¬←α≠`↓BI@WBJ Zαg@∨Bh⊂[αh`$αi &¬fα≤⊂↓BI@
'BJ 
*αg@∨Bh⊂Eαh`$αi &¬iB≤@↓bI@
'BJ 
*αg@∨Bh⊂Eαh`]αi ↑αt0p¬nα≤p↓bI@
+αJ 
*αg@∨Bh⊂Eαh`Oαi ←Bt0S@¬uα≥ ↓bI@aαJ bBg@∨Bh⊂Eαh`Oαi cBt0S@¬xB≥P↓"I@eαJ fBg@∨Bh⊂"β→pi¬zα≡↓"I@jBJ lαg@∨Bh⊂lC≠ n@¬⎇α≡0bI@
'BJ 
*β≤⊂r¬␈α≡`↓"I@
+αJ 
*αg@∨Bh⊂"β≤puεαB∨⊂↓"I@vBJ 
*αg@∨Bh⊂"β≡y@ε¬B∨@↓"I@
+αJ 
*αg@∨Bh⊂"β∨⎇@ελB∨p↓αI@
'Bh`␈Bi 
Bg@
αε⊃B  "I@
∧ε∃α P"I@
¬@ε_B!"I@
πε~B!0"I@
'@ε≤B!`"I@
	ε∨α"⊂"I@
ε!α"@"I@
@ε#α"p"I@
∞@ε%α# "I@
⊃@ε'B#P"I@}@ε)B$"I@
∪@ε+α$0"I@
∃ε.α$`"I@
↔ε0α%⊂"I@
+ε4α%@"I@
_@ε6B%p"I@
→@ε9α& "I@
~@ε;B&P"I@
≠@ε=B'"I@
≤@ε@α'0"I@
'@εBα'`"I@
'@εDα(⊂"I@
≥@εFα(@bI@
∨αg@
 BJ 
"εLα)PbI@
#αg@
&αJ 
'@εOα*0bI@
(Bg@
+BJ 
-εQB+⊂bI@
.αJ 
*αg@
0εSB+pbg@
1αI@
LαJ 
2εUB-bI@
3αJ 
*αg@
5εXα-`"I@
6@εZB/ bI@
'BJ 
*αg@
7@ε\B00bI@
DαJ 
*αg@
8@εdα1⊂BI@
;αg@
=@εkB1pBI@
?αJ 
@@εnB2 BI@
ABJ 
CεqB2PBI@
DαJ 
F@εtB3BI@
GBJ 
IεwB30BI@
JαJ 
L@εzB3`BI@
MBJ 
Oε|B4⊂BI@
PαJ 
*παα4@BI@
RBJ 
*π∧α4pBI@
TαJ 
*πεα5 BI@
UBJ 
*ππB5PBI@
WαJ 
*π	α6BI@
XBJ 
*πα60BI@
ZαJ 
*π
α6`BI@
[BJ 
*π∞B7⊂BI@
]αJ 
*π⊂B7@BI@
↑BJ 
*π∩α7pBI@
`αJ 
*π∪B8 BI@
aBJ 
*π∃α8PBI@
DαJ 
*π↔α90BI@
cαJ 
*π_B9`BI@
'BJ 
*π~α:⊂BI@
dBJ 
*π≤α:@π∨α:pπ"B; π$B;Pπ&α<π'B<0π*B<`π-α=⊂π0α=@π2α=pπ4α> π6B>Pπ9α?π:B?0π<B?`π>α@⊂π@B@@πBα@pπDBA πFαAP"I@
fπHαB"I@
jπIBB0"I@
l@πKBB`"I@
o@πMBC⊂"I@
r@πPαC@"I@
tπRαCp"I@
v@πTαD "I@
x@πVBDP"I@
{@πXBE"I@
␈πZBE0"I@∞βπ\BE`"I@eπ↑BF⊂"I@∞¬@πaBF@"I@∞	@πcBFp"I@∞@πfαG "I@eπhαGPπjαHπlαH0"I@∞
@πtBH`"I@∞⊃@πvBI⊂≡ π∃V`7→.Bh#X.F(;X/⊂≡`¬P.'0Ql↔ 2]l↔H∨ ↓∀jP∨P∧TjTp⊗Uλ#λ_
  ∧∀jTp⊗Tfβ≠@ 0∧∀jTp⊗Tf∪_@ `¬∀jTp⊗Uλ#λ_Lh !⊂¬∀jTp⊗Uλ#λ_Lh⊂!@∧TjTp⊗Uλ#λ_L`!pε∀jTp⊗PlW⊂0\f∪⊂~@" α⊗,⊗p3@"p↓V-⊗p#@β∪-w⊂2≠n #p∧∀jTp⊗ThU $@$ εTjTp⊗UW⊂6X-c(≠
 $P∧∀jTp⊗UW_:%∧TjTp⊗S)# →
@%0¬TjTp⊗Q*$`~π⊗⊂%`¬TjTp⊗Q*$`~
&f⊂&⊂¬∀jTp⊗Q*$`~
εP&@¬∀jTp⊗Q*$`~π&p¬TjTp⊗Q*$`~
εFλ' ¬∀jTp⊗Q*$`~&⊂'P¬TjTp⊗Q*$`~&⊗⊂(¬TjTp⊗Q*$`~&⊗λ(0∧TjTp⊗S)#→ (`¬TjTp⊗Q*$`~π⊗0)⊂∧TjTp⊗S)# ~L)@¬TjTp⊗Q*$`~π⊗()p¬TjTp⊗Q*$`~π⊗ * βTjTp⊗UλU@*P∧TjTp⊗S)# →
+∧TjTp⊗S)# _@+0¬∀jTp⊗S)# _ML⊂+`∧TjTp⊗S)# →∧7,⊂∧⊃NVh0\Mv`2@,⊂ε∀jTp⊗QNVh0\Mv`2@,@¬TjTp⊗Q*$`→
'⊗λ,p∧∀jTp⊗Pi∃_1- ¬TjTp⊗Q*$`~π⊗_-P¬TjTp⊗Q*$`~πελ.¬TjTp⊗Q*$`~π⊗λ.0∧∀jTp⊗Pi∃_0@.`¬TjTp⊗Q*$`→
'⊗⊂/⊂∧TjTp⊗S)#_~@/@¬∀jTp⊗Q*$`~εp/pβ∀jTp⊗QhP0 ∧TjTp⊗S)# →@0P∧TjTp⊗S)#_→L1∧TjTp⊗S)# ≠10∧TjTp⊗S)# _∞1`¬∀jTp⊗Q*$`~&@2⊂∧TjTp⊗S)# →∞2@∧TjTp⊗S)# _M@2pβ∩
βH≤f`∧`@3 β∪	u )K( ∧b@3 ∧TjRh&∪jE_⊗P@∧d3 αS	u )P@3 P@∧f@4 β∪	u )K(⊂∧h@4 ∧TjRh&∪jE_⊗P ∧j4 αS	u )P 4 P ∧l@5 αR)U_)T`5 ∧∀jRh$S*5_)@∧p6 β∀m⊗(9≤L⊂∧r6 ∧TjRh)Z,W⊂9_ ∧s@6 αTjRh"Q 6 ↓⊃(P∧v7 β⊂mwH7]P7 ∧TjRh![o⊗x:→ ∧y@80β⊂l↔⊂6Y-@80∧TjRh!X.&h2[∧⎇9@β∀
↔_3X-∧}@9@↓P*$h9@αL&∩x≠¬α:⊂βQj4⊂⊗R	u8¬∧:⊂¬∀jRh#Th"h$∪jp:⊂↓R	u8¬π@; βQj4⊂⊗Ui¬H¬	@; ¬∀jRh#Th"h+R⊂; ↓Ui¬H¬
<0∧Pi∃ ⊗TLV`0↑ <0β∀jRh!R*@¬⊂=0α∀h∀0"@¬∩=0∧TjTh"V¬U0 V=0βTjRh)P(d(¬∃@>@β⊂.& ;_/>@∧TjRh \LG00↑¬→?Pα⊃NVP4@?PβTjRh#≥-&H¬≥@@βQmFλ1Z,W⊂¬∨@@¬∀jRh#[⊗_4Y. ¬ @@@α⊃JDλ&@@∧⊃JDλ&*fλ<¬$@APβUmεH:≠LWH¬&@AP¬∀jRh+Z
↔ 7→/⊂¬)APε∀Mv⊂7]
⊗_9K*dλ,¬+@AP¬TjRh)≠l&x:~,7_¬-@AP∧∀Mv⊂7]
⊗_9@¬/@APβR%U⊂7XMw ¬1APβ∃M↔_4[m`AP¬∃M↔_4[mbh+_/¬4@B`β∪L↔00ZMp¬6@B`∧TjRh'_.fλ5≠`B`β∪H∩h+⊂+¬9@CpαT∞7H1Z¬;@Cp∧∀jRh(≤o⊗_4¬=@Cp∧T∞7H1Z¬U00↑¬?@Cp∧TjRh*_-εx6X ¬ACpβ∃⊗@7[,⊂Cp¬∃∞W⊂:≠Rh+_/¬D@Dp↓R*4`¬F@Dp∧U⊗h0[∞ελ4\`¬HDp↓U⊗h¬JDpβR*4`⊗UH∃@Dpβ∀jRh$Ti@¬MEp↓Q
4pEpβ∀jRh"∀i`¬PFpβ∩V`2[N0Fp∧TjRh$→-F(7≤`G`α⊂i∃ →H α⊂i∃ _@¬WH`βU,&(4→,&(¬XH`↓⊂)@H`αL&∩x~
 ¬[@I0¬∀jTh"V¬S⊂_F¬]@I0∧⊂)∀h⊗LFβ⊂_I0α∃
⊗p<@¬aJ0∧TjTh"V¬Tλ$S ¬b@J0αTjTh"V¬d@J0¬∀jTh"V¬S⊂_
FJ0↓P)∀h¬g@K0αTl6x9→ K0∧∀jRh)Piu⊂"@¬kL0α∀h∀H&¬l@L0αTjRh R L0α∀jTλ$@¬o@M@β⊃
⊗λ1≠
p¬qM@↓R	e0¬r@M@β∀jRh$∪J`M@εTjRh$∀
αh'⊃eU0 V¬v@NPβ∀mελ9]⊂NP∧TjRh)Z↔_:_ O`αTL↔02[@¬{@PPβ⊃.W⊂2Zl⊂PP↓UHe_Q@βTl6λ7≠LW⊂ε@R⊂αPMvH9Y R⊂¬∩
αh(≤M⊗p:→. ε∧SαU⊗@7Y SαQ
w02\@επSpβ∪↔_9Y-`Sp↓R(e_ε@T`λ∀nFλ7→Mw⊂2(vλ:→.vλ<@ε
T`β⊃mv`2→-`ε∂T`∧TjRh#[mF 2[@T`¬Qmv`2→-bh#X.F(ε∪@U@∧∃
↔⊗R
¬1U@β∀n↔(4Y-Pε↔Up∧∃
↔⊗R
¬0@Upβ∃Vp0↑,⊂V ∧U
↔⊗S,WH2\@VP∧∃
↔⊗S)$@1@W¬U
↔⊗Q*$`⊗Pi∃_W0βU
↔⊗P(T`W`βU
↔⊗Qj4⊂X⊂∧∃
↔⊗Tf∪_@X@¬U
↔⊗Qm⊗p=≥
vpXpβU
↔⊗Pi∃ Y β∃
↔⊗Q(PYPλ∃
↔⊗Q*$`⊗TnvH:_mε(9Z∧∃
↔⊗UW_:ε1@Z0αU
⊗x3X Z0ε∩	e0⊗Q.F@2\JFH8Z`¬U
↔⊗UW⊂6X-d_[⊂¬U
↔⊗UW⊂6X-d⊂[@ε∃
↔⊗PhU⊂ Tf∪⊂~@[p∧U
↔⊗PhU⊂ T`\ ¬U
↔⊗UW⊂6X-dλ\P∧∃
↔⊗S)$@1]∧∃
↔⊗S)$@0@]0βU
↔⊗Pi∃_εI]`	∃lV`1Z¬U⊂7X,Bh#X.F(;X/⊂]`λUlV`1Z
&x0Y¬T80]W80↑ ↑0	∀jTh"V¬Sλ_∪("h#X.F(;X/⊂←ε∀f∪_K(vλ:→.vλ<@←P¬⊂i∃_⊗PN&H2→lP` ¬⊃*$`⊗PN&H2→lP`pεQn&(2[ET80]W80↑ a@π∃W⊂6X-bh#X.F(;X/⊂apβTlWλ:[m⊗λε←b@¬TjTp⊗Ql↔ 2]l↔Hεa@b@ε∃W_:(vλ:→.vλ<@b@¬UW_:('⊂4Yv(εe@c⊂α∀
⊗p2@εh@c⊂λTjTh"V¬Th%∩¬T80]W80↑ c⊂λS)$@⊗TjTh"V¬T80]W80↑ cPπTjTh"V¬T 7[∞ε@4[ES(d⊂πTjTh"V¬T 7[∞ε@4[ES dPπTjTh"V¬T 7[∞ε@4[ES_e⊂πTjTh"V¬T 7[∞ε@4[ES⊂ePπTjTh"V¬T 7[∞ε@4[ESλf⊂∧∀⊗_4YM⊗_0@ε}@fP¬∀jTh"V¬Tλ6≥
pπ@fP∧⊂)∀h⊗P-G 7@fPα∀⊗`7@g⊂βT⊗`7[,↔⊂gPβP-Fh0[Mw⊂h⊂α∪L↔0@hPα∃
w⊂7@i⊂βU∞&H7~.GHiP∧∪-vp:→.&(<@j⊂αS,↔⊂4[@jP∧⊗-w_2[-↔ 2@k⊂β∪-vP0]LPkPαQ
⊗(3[`l⊂α∪-vp7@lPβT
w⊂:≠mFλm⊂α∩-gH7@mPα⊗-v`7@n⊂βPo↔9→.7_nPπQn&H7≠LV`6*6(9≥LW⊂np	P.'0K*F(6≠LW ⊗Ql↔ 2]l↔Ho⊂∧∃V`2Tnvλ:o0α∃↔2@oPα∪Vλ3opπS
↔_8*7 0]
↔_:~,7_p⊂π∀∞&H7≥W⊂⊗TLW7\N@p0λP-G 7K(W⊂9≠n"h)→.εx9≥pP∧⊂mw<Q
↔_5@pp¬∀nFλ:~.7 4Xn0q⊂¬Q,↔⊂9K*7 0]∞W_q0ε⊃(e (*&(1Y-↔02@qPα∪,⊗H6qp∧⊂J5⊗UW_:r⊂α⊃,6@7@r0εS-↔_1K*6(9≥M⊗_2\`rP↓QJErpε⊃l↔ 2]l↔H⊗R-f07@s⊂β∃V`7→.@s0βTJ4`⊗SLW s`αUETp2]t⊂βR*4`⊗SLW t@βPi∃ ⊗SLW tp¬SLW8&X.F@⊗SLW u βUW@⊗SLW uP∧S,WH2\ETp2]vε∪-↔ 1ZV`6)f(:v0¬∃W⊂6X-bh'→.@v`∧Ph5⊂&P%Tp2]w⊂∧∪	u )K)f(:w@βR
¬⊗SLW wpλTjTh"V¬U ;Z.7 2Y¬Tp2]x ∧TjTh"V¬Tp2]xPπ∀jTh"V¬Sλ_∪("h'→.@y∧TL↔02[ETp2]y0βPiU(⊗SLW yPβS)∃ ⊗SLW πn@yp¬Pj4 ⊗Pj4`⊗SLW πp@ypβPj4`⊗SLW πr@ypβPj4 ⊗SLW yp∧∀
⊗p2K)f(:z ∧∃W_:)f(:zPβP*% SHU ≡ ∀0@⊗ ≡`∀0 ↓`∨ ∀ ↓`∨P⊗G@ ⊗G 0⊗F` `⊗ε!⊂↔ε!@⊗F!p_α " ∀#@"p∪c@#@∀⊗ #p∀∂ $ ∀∞@λ⊂@$P∀∞$P∀∞ %∀
`%0∀
@%`∀
 &⊂∀
&@∀`&p∀@' ∀ 'P∀`(∀@(0∀
(`∀	`)⊂∀	@)@∀	 )p∀	* ∀π`*P∀π +∀π+0∀ε`+`∀ε@,⊂∀ε ,@∀¬`,p∀¬@- ∀¬ -P∀¬.∀∧`.0∀∧@.`∀∧ /⊂∀∧/@∀β`/p∀β 0 ∀α 0P∀α1∀↓`10∀↓@1`∀↓ 2⊂∀`2@∀@2p∀3 _@4 _ 5 ∀5@6 ∀5 7 ∀5`80∀59@∀4`:⊂∀4@; ∀4 <0∀4=0⊗U@>@⊗U ?P∀3@@@∀3 AP∀3B`∀2`Cp∀2@Dp∀2 Ep∀2Fp∀1`G`∀1@H ∀1 H`∀1I0⊗UJ0⊗U`K0∀0`L0∀0@M@∀0 NP∀0O`∃@@PP∀ @Q@∀∂R⊂∀ S∀  Sp∀ T`∀∂@U@↔F Up↔FV ~↓ VP∀∃ W∀π@W0∀∃W`∀∞`X⊂⊗G X@∀ Xp∀Y ∀β@YP∀βZ∀εZ0∀∀Z`_ [⊂_[@_
@[p_
 \ ∀
`\P∀
 ]∀α@]0∀↓	#@]`↔ε`	%]`↔G]`∃@ 	(↑0⊗F@↑0⊗λ	+←⊗F ←↔ε@	.←P∀∃@←P∀∃`	1` ∀∀ 	2@` ∀∀@` ∀∀`	5@`p∀⊗`p~`	8@a@∀λ@	:a@_λ`	;@a@→ a@→@ 	>@ap∀λ	@ap∀λ ap∀
@	Cb@∀α`b@∪@`	Fc⊂⊗R c⊂∀∂`cP∀- d⊂∀-dP⊗` e⊂∀,`eP⊗`f⊂∀,@fP⊗R@g⊂∀∪`gP∀∪@h⊂∀∪ hP∀∪i⊂∀∩`iP∀∩ j⊂∀∩jP∀⊃`k⊂∀⊃@kP∀⊃ l⊂∀⊃	dlP∀⊂`lP∪P`m⊂∀⊂@mP∀⊂ n⊂∀⊂nP⊃np⊗ o⊂o0	oPλ`opε`p⊂ε p0εpP¬ pp∧@q⊂∧ q0∧qP↓`qp↓@r⊂↓ r0↓rP`rp@s⊂ s0βs`α@t⊂αt@↓@tp↓u @uP~v→@v0→v`_@w⊂_w@↔@wp↔x ⊗@xP⊗y∃@y0∃yP∀@yp∀z ∪@zP⊂∧∪
v_0]
⊗x7βS)$@⊂ε#αSnvp2\@↓Pj4 βS)$@⊂
ε3_↓Pj4 	TnFλ7→Mw⊂2λ
Vp4]LW⊂9Z.GH
Uλ"h_LεR&Y,FH1X-B!Y-g 2\@
∀eS_
d∧h2Y
⊗_0[∧∧_2[NF(9
∀eSλ_$∧h2Y
⊗_0[∧∧_2[NF(9
Uλ"h_L&2&Y,FH1X-B!Y-g 2\@
Uλ"h_L&2&Y,FH1X-B!Y-g 2\@
Uλ"h_L&2&Y,FH1X-B!Y-g 2\@∧PlW⊂0\dβλ→
 ∧∪)$@⊂ε31@∧Tmvh2]
⊗h2\`↓V-⊗p∧∪)$@⊂ε31@∧Tmvh2]
⊗h2\`α⊗,⊗p3@βQ*$`⊂FSH∀L⊗ 4[d¬_1Z,Vp1Y$∧ :\L⊗p2λε#_≤@λ⊂LW⊂7~,R)≠nF@⊂$∧h"@S)$@⊂⊂j4 ⊗Phb&_,"&RIα_Fελ∧S⊗p:≡Eth%∩λQ*$`⊂∃W⊂6Z-fλ6λ
&x7[ ∧∩Vp7→.7_<@∧⊂mε(9~.Fx7εU∞&(;Z.G ⊗λW 1K@β∪
⊗p:≠m`ε∩⊗p7_-αx#\Mw_9@αTMw82[@¬∀∞'P<XO⊗`9Zm⊂βPM⊗p3≠n& λQ*$`⊂∃W⊂6Z-fλ6λ
&x7[ λ∀nG(2→-g ⊂⊂NV`6.ε(7λQ*$`⊂∃W⊂6Z-fλ6λ
&x7[ λQ*$`⊂∃W⊂6Z-fλ6λ
&x7[ εS)$@⊂∀mvh2]mε(9→ πPmε(9~.Fx7∧∧`0[NGP¬∪,⊗p7∧ε(:_e`εSMw84Xm6H⊗λW 1K@πTMεx2→.2`⊂∃
ε(4[,W⊂αP(T`⊂
`ε∩↔⊂2≥l↔⊂2H	Fλ1λPi∃_⊂∃W⊂6Z-fλ6λ
&x7[ εU∞&(;Z.G ⊗λW 1K@λPi∃_⊂∃W⊂6Z-fλ6λ
&x7[ ε∩↔⊂2≥l↔⊂2H	Fλ1¬U∞&λ1_D¬0\LFx∧∩↔⊂:≥lV`6QlVx6Y.G⊂<HλVp3Z-f(⊂∃W_:_LV ∧SHr%≥-f86→ 	⊂j4 ⊂∀L⊗p2≠mR#_,7(6≥∂⊂∧Pj4 ⊂∀Vx7≤`∧Pj4 ⊂∀Vx7≤`π∩Mw(8≤
∩`⊂∀l↔⊂5X. αT∞&λ:≥π∀nG(2→-g ⊂∩NVp3[PβP(T`⊂F3λαPlW⊂0\`α∪	u )@∧⊃NVp1]
⊗x7β∀lW⊂;→. ∧∪LW ;[n&X9@↓T
Uβ∪nαh)↑.0β∃	u)LF↓Pj¬(∧⊃λT_⊗LFβ0_αPlW⊂0\`α∪	u )@∧⊃NVp1]
⊗x7β∀lW⊂;→. ∧∪LW ;[n&X9@↓T
Uβ∪nαh)↑.0β∃	u)LF↓Pj¬(∧⊃λT_⊗LFβ0_∧T
⊗p2H	ελ6≠αR)U_)T`∧⊃NVp1]
⊗x7β∀lW⊂;→. ∧∪LW ;[n&X9@↓T
Uβ∪nαh)↑.0αUVp2↑↓Pj¬(∧QλT_⊂∩i∩h_L¬⊃∞W⊂0[LB_
&P↓⊃(P∧⊃NVp1]
⊗x7β∀lW⊂;→. ∧∪LW ;[n&X9@β∀
U∃R*β∪nαh)↑.0β∃	u)LF↓Pj¬(∧⊃λT_⊗LFβ0_αS)#→ λTMv⊂7]
⊗_9H
&(9Y,↔⊂1Zβ∀
U∃R*α∃-fH<¬∃H∃@⊗L&∩x≠M&ε∩*αh(≤Mw 7Xmv`9@⊃∃(E⊗λ
D_(jD(&∪HU ⊗λ
D_(he (∧¬ !T¬u_&U
αS)# →L`	∩lW⊂7→-B"→.f(6≠nεh2[N@β∀
U∃R*α∃-fH<¬∃H∃@⊗L&∩x≠M&ε∩*αh(≤Mw 7Xmv`9@⊃∃(E⊗λ
D_(jD(&∪HU ⊗λ
D_(he (∧¬ !T¬u_&U
αS)#→ ∧∀Mv⊂7]
⊗_9@¬∀Mv⊂7]∧∧λ9≠.0∧⊃j4⊂⊂⊂FRh"@¬PNW_↔λ
6_4≠mv`β∀
U∃R*ε∩*αh(≤Mw 7Xmv`9@∞Uλ5↔UλT`'⊃*B`⊂∃λ5↔QJE⊗λ
D_(j4h*∀∧⊃j4⊂⊂⊂FRh"@¬PNW_↔λ
6_4≠mv`β∀
U∃R*ε∩*αh(≤Mw 7Xmv`9@∞Uλ5↔UλT`'⊃*B`⊂∃λ5↔QJE⊗λ
D_(j4h*∀∧⊃Mw⊂9↑.F@2@↓Pi∃ α∃.6(9β∀
U∃R*α∃-fH<¬∃H∃@⊗L&∩x≠M&εTeSλ_$∧h2Y∧∧_:≤@α⊂.'0@β∀
U∃R*α∃-fH<¬∃H∃@⊗L&∩x≠M&ε∩*αh(≤Mw 7Xmv`9@⊃∃(E⊗λ
D_(jD(&∪HU ⊗λ
D_(he (∧¬ !T¬u_&U
εTeSλ_$∧h2Y∧∧_:≤@α⊂.'0@β∀
U∃R*α∃-fH<¬∃H∃@⊗L&∩x≠M&ε∩*αh(≤Mw 7Xmv`9@⊃∃(E⊗λ
D_(jD(&∪HU ⊗λ
D_(he (∧¬ !T¬u_&U
β⊂(T`⊂&⊂↓R(4`α∃-fH<π∪,4_:[
Fx:Ymα_f ↓R(4`α∃-fH<¬∃H∃@⊗L&∩x≠M&ε∩*αh(≤Mw 7Xmv`9@⊃∃(E⊗λ
D_(jD(&∪HU ⊗λ
D_(he (∧¬ !T¬u_&U
¬∃H∃@⊗L&∩x≠Nε⊃∃(E⊗λ
D_(jD(&∪HU ⊗λ
D_(he (∧¬ !T¬u_&U
βPj4 ⊂∪Etλ¬∃H∃@⊗L&∩x≠Nε¬∩Mw⊂2_-b_f0αT∞7H1Z¬∃H∃@⊗L&∩x≠Nε¬Q∞W⊂0[LB_&tλα⊃m⊗`6¬∃H∃@⊗L&∩x≠Nε¬Q∞W⊂0[LB_&tλα∪-w⊂3¬∃H∃@⊗L&∩x≠Nε↓PH∀ ↓Q*$`λSLW85Z.&X⊂	D∧h0]
ε(;\`∧⊃Mw⊂9↑.F@2@↓Pi∃ ∧⊃Mw⊂9↑.F@2@↓Pi∃ βS)$@⊂ε#λ
TMv⊂7]
⊗_9H	Vλ7~.π(6_.FH7[@λ∀eSλ_$∧h2Y∧∧_2[NF(9αTjTh"V∧⊃λT_⊗LFβ⊂_λ∀eSλ_$∧h2Y∧∧_2[NF(9αTjTh"VεT
U∃R*αX*⊗)Tp"UαUh∀H*∀`∧⊃λT_⊗L&β@_¬∃H∃@⊗L&∩x≠NεβQ*$`⊂FS8↓Pj4`¬∃H∃@⊗L&∩x≠Nε¬∃lV`1Z∧¬⊂7X,@↓R
¬∧∀lW⊂;~,6(9@βT∞&H7≥W⊂βS)$@⊂
ε#⊂↓∪HpU@∧∀lW⊂;~,6(9@¬QM⊗`2K*6(9≥LW⊂∧∀lW⊂;~,6(9@βTl6λ7≠LW⊂∧∀lW⊂;~,6(9@βT∞&H7≥W⊂βS)$@⊂F#λ∧∀lW⊂;~,6(9@λ⊃n&λ8~
⊗_9K*π⊂4[NF(9∧∀lW⊂;~,6(9@¬QM⊗`2K*6(9≥LW⊂↓S)u_∧S
4H⊗L&∩x→`π∩*αx(∃*α#X.F(;X/⊂¬∃lV`1Z∧¬⊂7X,@¬∃lV`1Z∧¬⊂7X,@εS,WH2\D∧`4XN&λ9≡ ¬Tmελ9]∩)≠mvhβP(T`⊂F#H¬Qj4⊂⊂∀MR!
%T(	Tf∪_H	V(2~,6λ6λλ6(7≥W⊂¬Qm⊗p=≥
vp⊂∪⊗⊂∧S,4_:[
Fx1Z¬Tmελ9]∩)≠mvh∧∪)$@⊂εC2@β∃W⊂6X-`β∃W⊂6X-`αPhU⊂ T`αPhU⊂ T`β∃W⊂6X-`∧Pi∃_⊂⊂-fp2↑¬∃lV`1Z∧¬⊂7X,@βQl↔ 2]l↔H↓R
¬	Tf∪_H	V(2~,6λ6λλ6(7≥W⊂βQl↔ 2]l↔HαTjTh"V	Tf∪_H	V(2~,6λ6λλ6(7≥W⊂βQl↔ 2]l↔HαTjTh"V¬Pi∃_⊂∃∞&λ4[W⊂β⊂N&H2→lPβ⊂N&H2→lP↓Pj4`εQn&(2[D∧`4XN&λ9≡ βQl↔ 2]l↔Hβ∃W⊂6X-`β⊂N&H2→lPλPN&H2→lR7\D∧80]W80↑ πL&3(⊗Q∧¬4[LR$_-F`βQl↔ 2]l↔HβS)$@⊂F#(↓R
¬βS)$@⊂F#(↓R
¬λUλ"h_LεR&Y,B!Y-g 2\@αTjTh"VβS)$@⊂F#(↓R
¬λS
vλ7→,B:≠d¬⊂:]v(9≤`αTjTh"VβS)$@⊂F#(↓R
¬λ∀eSλ_$∧h2Y∧∧_2[NF(9βS)$@⊂εββS)$@⊂
εS∧⊂i∃_⊂∃∞&λ↔βS)$@⊂εββQ*$`⊂
εβλβS)$@⊂
εSβS)$@⊂εββQ*$`⊂
εβλβS)$@⊂εββS)$@⊂F#(βS)$@⊂εββS)$@⊂εββS)$@⊂εβ
Q∞W⊂0[LB!_.6(6Y-g ⊂	Dβ⊂7→∧ε06≠mw⊂λ⊃Mw(9≥
α#≠
vx9λ	TP$⊃∞W⊂0[LB1≥-⊗`2~-f8⊂
λvH6≠¬⊂
Pi∃ ⊂≥
r&Y,FH1X-B!Y-g 2\@¬⊃*$`⊂≥
r Q)@πU
εH9→∧∧06≠mw⊂⊂∪)$@εS,WH2\D∧`4XN&λ9≡ ⊃,↔⊂:~∧¬_1Z,Vp1Y$∧⊂:Z-F 4[LpUW⊂6X-b"[LvH7→,W⊂4[Lr!Y-g 2\@∂⊃λ2(≠nv(9λ	Fλ1∞d∧X7≠mF`⊂~-b6_.F(⊂∞ε0πPlW⊂0\dπ 7H
F(9≠,⊗p∞∪,V 4Xl⊗`⊂⊂lVp:→.":≠d¬82[6@⊂∀Mvλ2π∪,V 4Xl⊗`⊂⊂lVp:→. π∪,V 4Xl⊗`⊂⊂lVp:→. ∂∪)$@⊗λλU⊂&∧∧8)PEB(~-f(⊗λλ4H*∧ε(:_e`πPL↔_2[,Vp:λ
v0⊂∪)$@≡⊗`